who comes up with planet names